home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / sml_nj / 93src.lha / src / env / statenv.sig < prev    next >
Encoding:
Text File  |  1993-01-27  |  625 b   |  20 lines
  1. (* Copyright 1992 by AT&T Bell Laboratories *)
  2. (* env/statenv.sig *)
  3.  
  4. signature STATICENV =
  5. sig
  6.   type statenv
  7.   type binding
  8.   exception Unbound  
  9.   exception SpecialEnv
  10.   val empty: statenv
  11.   val look: statenv * Symbol.symbol -> binding
  12.   val bind: Symbol.symbol * binding * statenv -> statenv
  13.   val open': statenv * (binding -> binding) * statenv -> statenv
  14.   val special: (Symbol.symbol -> binding) * statenv -> statenv
  15.   val atop: statenv * statenv -> statenv
  16.   val consolidate: statenv -> statenv
  17.   val app: (Symbol.symbol * binding -> unit) -> statenv -> unit
  18.   val map: (binding -> binding) -> statenv -> statenv
  19. end
  20.